推理形式正确的有（）

• A、SIP˫SOP
• B、¬SEP˫SAP
• C、SAP˫SIP
• D、SOP˫SEP
• E、¬SOP˫SIP

“一个推理只有形式正确,才能得出可靠的结论,这个推理结论不可靠，所以这个推理形式不正确。”这个假言推理使用了（）

• A、正确的否定后件式
• B、错误的否定后件式
• C、正确的否定前件式
• D、错误的否定前件式

用真值表来验证p→q，pⱵq是否为有效式。